home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 2010 April / PCWorld0410.iso / pluginy Firefox / 1843 / 1843.xpi / skin / classic / html.css < prev    next >
Cascading Style Sheet File  |  2010-01-06  |  5KB  |  220 lines
  1. /* See license.txt for terms of usage */
  2.  
  3. .panelNode-html {
  4.     -moz-box-sizing: padding-box;
  5.     padding: 4px 0 0 2px;
  6. }
  7.  
  8. .nodeBox {
  9.     position: relative;
  10.     font-family: Monaco, monospace;
  11.     padding-left: 13px;
  12.     -moz-user-select: -moz-none;
  13. }
  14.  
  15. .twisty {
  16.     position: absolute;
  17.     left: 0px;
  18.     top: 0px;
  19.     width: 14px;
  20.     height: 14px;
  21. }
  22.  
  23. .nodeChildBox {
  24.     margin-left: 12px;
  25.     display: none;
  26. }
  27.  
  28. .nodeLabel,
  29. .nodeCloseLabel {
  30.     margin: -2px 2px 0 2px;
  31.     border: 2px solid transparent;
  32.     -moz-border-radius: 3px;
  33.     padding: 0 2px;
  34.     color: #000088;
  35. }
  36.  
  37. .nodeCloseLabel {
  38.     display: none;
  39. }
  40.  
  41. .nodeTag {
  42.     cursor: pointer;
  43.     color: blue;
  44. }
  45.  
  46. .nodeValue {
  47.     color: #FF0000;
  48.     font-weight: normal;
  49. }
  50.  
  51. .nodeText,
  52. .nodeComment {
  53.     margin: 0 2px;
  54.     vertical-align: top;
  55. }
  56.  
  57. .nodeText {
  58.     color: #333333;
  59. }
  60.  
  61. .nodeWhiteSpace {
  62.     border: 1px solid LightGray;
  63.     white-space: pre; /* otherwise the border will be collapsed around zero pixels */
  64.     margin-left: 1px;
  65.     color: gray;
  66. }
  67.  
  68.  
  69. .nodeWhiteSpace_Space {
  70.     border: 1px solid #ddd;
  71. }
  72.  
  73. .nodeTextEntity {
  74.     border: 1px solid gray;
  75.     white-space: pre; /* otherwise the border will be collapsed around zero pixels */
  76.     margin-left: 1px;
  77. }
  78.  
  79. .nodeComment {
  80.     color: DarkGreen;
  81. }
  82.  
  83. /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
  84.  
  85. .nodeBox.highlightOpen > .nodeLabel {
  86.     background-color: #EEEEEE;
  87. }
  88.  
  89. .nodeBox.highlightOpen > .nodeCloseLabel,
  90. .nodeBox.highlightOpen > .nodeChildBox,
  91. .nodeBox.open > .nodeCloseLabel,
  92. .nodeBox.open > .nodeChildBox {
  93.     display: block;
  94. }
  95.  
  96. /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
  97.  
  98. .nodeBox.selected > .nodeLabel > .nodeLabelBox,
  99. .nodeBox.selected > .nodeLabel {
  100.     border-color: Highlight;
  101.     background-color: Highlight;
  102.     color: HighlightText !important;
  103. }
  104.  
  105. .nodeBox.selected > .nodeLabel > .nodeLabelBox,
  106. .nodeBox.selected > .nodeLabel > .nodeLabelBox > .nodeTag,
  107. .nodeBox.selected > .nodeLabel > .nodeLabelBox > .nodeAttr > .nodeValue,
  108. .nodeBox.selected > .nodeLabel > .nodeLabelBox > .nodeText {
  109.     color: inherit !important;
  110. }
  111.  
  112. /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
  113.  
  114. .nodeBox.highlighted > .nodeLabel {
  115.     border-color: Highlight !important;
  116.     background-color: cyan !important;
  117.     color: #000000 !important;
  118. }
  119.  
  120. .nodeBox.highlighted > .nodeLabel > .nodeLabelBox,
  121. .nodeBox.highlighted > .nodeLabel > .nodeLabelBox > .nodeTag,
  122. .nodeBox.highlighted > .nodeLabel > .nodeLabelBox > .nodeAttr > .nodeValue,
  123. .nodeBox.highlighted > .nodeLabel > .nodeLabelBox > .nodeText {
  124.     color: #000000 !important;
  125. }
  126.  
  127. /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
  128.  
  129. .nodeBox.nodeHidden .nodeLabel > .nodeLabelBox,
  130. .nodeBox.nodeHidden .nodeCloseLabel,
  131. .nodeBox.nodeHidden .nodeLabel > .nodeLabelBox > .nodeText,
  132. .nodeBox.nodeHidden .nodeText {
  133.     color: #888888;
  134. }
  135.  
  136. .nodeBox.nodeHidden .nodeLabel > .nodeLabelBox > .nodeTag,
  137. .nodeBox.nodeHidden .nodeCloseLabel > .nodeCloseLabelBox > .nodeTag {
  138.     color: #5F82D9;
  139. }
  140.  
  141. .nodeBox.nodeHidden .nodeLabel > .nodeLabelBox > .nodeAttr > .nodeValue {
  142.     color: #D86060;
  143. }
  144.  
  145. .nodeBox.nodeHidden.selected > .nodeLabel > .nodeLabelBox,
  146. .nodeBox.nodeHidden.selected > .nodeLabel > .nodeLabelBox > .nodeTag,
  147. .nodeBox.nodeHidden.selected > .nodeLabel > .nodeLabelBox > .nodeAttr > .nodeValue,
  148. .nodeBox.nodeHidden.selected > .nodeLabel > .nodeLabelBox > .nodeText {
  149.     color: SkyBlue !important;
  150. }
  151.  
  152. /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
  153.  
  154. .nodeBox.mutated > .nodeLabel,
  155. .nodeAttr.mutated,
  156. .nodeValue.mutated,
  157. .nodeText.mutated,
  158. .nodeBox.mutated > .nodeText {
  159.     background-color: #EFFF79;
  160.     color: #FF0000 !important;
  161. }
  162.  
  163. .nodeBox.selected.mutated > .nodeLabel,
  164. .nodeBox.selected.mutated > .nodeLabel > .nodeLabelBox,
  165. .nodeBox.selected > .nodeLabel > .nodeLabelBox > .nodeAttr.mutated > .nodeValue,
  166. .nodeBox.selected > .nodeLabel > .nodeLabelBox > .nodeAttr > .nodeValue.mutated,
  167. .nodeBox.selected > .nodeLabel > .nodeLabelBox > .nodeText.mutated {
  168.     background-color: #EFFF79;
  169.     border-color: #EFFF79;
  170.     color: #FF0000 !important;
  171. }
  172.  
  173. /************************************************************************************************/
  174.  
  175. .logRow-dirxml {
  176.     padding-left: 0;
  177. }
  178.  
  179. .soloElement > .nodeBox  {
  180.     padding-left: 0;
  181. }
  182.  
  183. .useA11y .nodeLabel.focused {
  184.     outline: 2px solid #FF9933;
  185.     -moz-outline-radius: 3px;
  186.     outline-offset: -2px;
  187. }
  188.  
  189. .useA11y .nodeLabelBox:focus {
  190.     outline: none;
  191. }
  192.  
  193. /************************************************************************************************/
  194.  
  195. .breakpointCode .twisty {
  196.     display: none;
  197. }
  198.  
  199. .breakpointCode .nodeBox.containerNodeBox,
  200. .breakpointCode .nodeLabel {
  201.     padding-left: 0px;
  202.     margin-left: 0px;
  203.     font-family: Monaco, monospace !important;
  204. }
  205.  
  206. .breakpointCode .nodeTag,
  207. .breakpointCode .nodeAttr,
  208. .breakpointCode .nodeText,
  209. .breakpointCode .nodeValue,
  210. .breakpointCode .nodeLabel {
  211.     color: DarkGreen !important;
  212. }
  213.  
  214. .breakpointMutationType {
  215.     position: absolute;
  216.     top: 4px;
  217.     right: 20px;
  218.     color: gray;
  219. }
  220.